gcd($a$;$b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $b$=$_{2}$0$\rightarrow$ $a$ else gcd($b$;$a$ rem $b$) fi  \emph{(recursive)}